There are no currently open or forthcoming EU calls for Theoretical%20computer%20science%2C%20formal%20methods.
A good query should be at least 20 words, include your activity and how it intersects with the EU goals.
